package edu.gatech.cc.concolic.bytecode;

import gov.nasa.jpf.jvm.KernelState;
import gov.nasa.jpf.jvm.SystemState;
import gov.nasa.jpf.jvm.ThreadInfo;
import gov.nasa.jpf.jvm.bytecode.Instruction;

public class INVOKESPECIAL extends gov.nasa.jpf.jvm.bytecode.INVOKESPECIAL {

  public Instruction execute (SystemState ss, KernelState ks, ThreadInfo ti) {
	  
	  System.out.println("Calling: " + getMethodInfo());
	  
	  return super.execute(ss, ks, ti);
  }
}
